Section: Dissemination

Teaching - Supervision - Juries

• Licence : Sylvain Schmitz, Formal Languages, 22.5h, L3, ENS Cachan, France

• Master : Sylvain Schmitz, Tree Automata Techniques and Applications, 22.5h, M1, ENS Cachan, France

• Master : Sylvain Schmitz, Formal Languages, 30h, M2, ENS Cachan, France

• Master : Sylvain Schmitz, Logic, 26.3h, M2, ENS Cachan, France

• Master : Sylvain Schmitz, Logical and Computational Structures for Linguistic Modeling, 18h, M2, ENS Cachan, France

• Master2 : Serge Abiteboul, Web data management, 15h, MPRI

• Master1 : Serge Abiteboul, Initiation to scientific research (lab), 15h

• Licence : Serge Abiteboul, Relational databases, 30h, ENS Cachan

• E-learning

  • Mooc Bases de Données Relationnelles - Bador (in French), Inria Fun, Serge Abiteboul, Benjamin Nguyen and Philippe Rigaux, Start January 2016; about 6000 students registered, 6+ weeks. Target audience: students in L3/Master, engineers and scientists using databases.

• PhD in progress: Nathan Grosshans, branching program, 01/09/2014, Luc Segoufin and Pierre McKenzie (University of Montreal)

• PhD in progress: David Montoya, Personal information management systems, 01/02/2014, Serge Abiteboul

• PhD in progress: Alexandre Vigny, enumeration, 01/09/2015, Luc Segoufin and Arnaud Durand

• PhD in progress: Karima Rafes, Web semantic and Internet of Thing, 01/02/2015, Serge Abiteboul

• PhD in progress: Simon Halfon, Well quasi orders, 01/09/2015, Sylvain Schmitz and Philippe Schnoebelen

• PhD in progress: Anthony Lick, Proof systems for data queries, 01/09/2016, David Baelde and Sylvain Schmitz

• PhD in progress: Su Yang, Analytics in Personal information management systems, 01/09/2016, Serge Abiteboul et Pierre Senellart